In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called $\text{ILP}^{\omega}$ that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of $\text{ILP}^{\omega}$ we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

As AI Systems become increasingly autonomous, they are expected to engage in decision-making processes that have moral implications. In this research we integrate theoretical and empirical lines of thought to address the matters of moral reasoning and moral uncertainty in AI Systems. We reconceptualize the metanormative framework for decision-making under moral uncertainty and we operationalize it through a latent class choice model. The core idea being that moral heterogeneity in society can be codified in terms of a small number of (...) classes with distinct moral preferences and that this codification can be used to express moral uncertainty of an AI. Choice analysis allows for the identification of classes and their moral preferences based on observed choice data. Our reformulation of the metanormative framework is theory-rooted and practical in the sense that it avoids runtime issues in real time applications. To illustrate our approach we conceptualize a society in which AI Systems are in charge of making policy choices. While one of the systems uses a baseline morally certain model, the other uses a morally uncertain model. We highlight cases in which the AI Systems disagree about the policy to be chosen, thus illustrating the need to capture moral uncertainty in AI systems. (shrink)

The process-dissociation procedure has been used in a variety of experimental contexts to assess the contributions of conscious and unconscious processes to task performance. To evaluate whether motivation affects estimates of conscious and unconscious processes, participants were given incentives to follow inclusion and exclusion instructions in a perception task and a memory task. Relative to a control condition in which no performance incentives were given, the results for the perception task indicated that incentives increased the participants' ability to exclude previously (...) presented information, which in turn both increased the estimate of conscious processes and decreased the estimate of unconscious processes. However, the results also indicated that incentives did not influence estimates of conscious or unconscious processes in the memory task. The findings suggest that the process-dissociation procedure is relatively immune to influences of motivation when used with a memory task, but that caution should be exercised when the process-dissociation is used with a perception task. (shrink)

This comment on 'Economic theories and their Dueling interpretations' questions the descriptive adequacy of the ‘sociology of economics' proposed by Gilboa, Postlewaite, Samuelson, and Schmeidler (GPSS) (2022). We ask whether economists still perceive the role of microeconomic theory as central as do GPSS. In particular, is present-day economics unified by the principles of maximising, subject to constraints and equilibrium analysis? We argue that this is not the case. GPSS’ appeal to the interpretative flexibility of economic theories appears apologetic, especially the (...) suggestion that theories and models, which once were considered positive descriptions or predictive instruments, are now cast as analytical or methodological exercises. We conclude on a more constructive note, drawing from the recent philosophical discussion of modelling which, quite paradoxically, grants highly idealized and simplified models a more important role than GPSS appear to allow. (shrink)

What sets the practice of rigorously tested, sound science apart from pseudoscience? In this volume, the contributors seek to answer this question, known to philosophers of science as “the demarcation problem.” This issue has a long history in philosophy, stretching as far back as the early twentieth century and the work of Karl Popper. But by the late 1980s, scholars in the field began to treat the demarcation problem as impossible to solve and futile to ponder. However, the essays that (...) Massimo Pigliucci and Maarten Boudry have assembled in this volume make a rousing case for the unequivocal importance of reflecting on the separation between pseudoscience and sound science. (shrink)

Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.

Companies increasingly seek to strategically integrate social objectives in commercial activities to address societal challenges, yet little is known about how companies can sustain such a commitment over time. To address this question, we conduct a case-based, abductive study of two pharmaceutical companies widely considered industry leaders in facilitating access to medicine over a 20-year period (2000–2019). We identify product and operation-level integration as distinct types of integration efforts enacted by these companies. Tracing the intraorganizational dynamics associated with these efforts, (...) we theorize that sustained integration is contingent on companies’ ability to respond to and address the challenges specific to product and operation-level integration. The theoretical framework we develop contributes to an emerging debate on the potential of companies to make progress on societal challenges by strategically integrating social objectives, including but not limited to those related to global health. (shrink)

A core symptom of anxiety disorders is the tendency to interpret ambiguous information as threatening. Using EEG and BOLD-MRI, several studies have begun to elucidate brain processes involved in fear-related perceptual biases, but thus far mainly found evidence for general hypervigilance in high fearful individuals. Recently, multi-voxel pattern analysis (MVPA) has become popular for decoding cognitive states from distributed patterns of neural activation. Here, we used this technique to assess whether biased fear generalization, characteristic of clinical fear, is already present (...) during the initial perception and categorization of a stimulus, or emerges during the subsequent interpretation of a stimulus. Individuals with low spider fear (LSF, n = 20) and high spider fear (HSF, n = 18) underwent functional MRI scanning while viewing series of schematic flowers morphing to spiders. In line with previous studies, individuals with high fear of spiders were behaviorally more likely to classify ambiguous morphs as spiders than individuals with low fear of spiders. Univariate analyses of BOLD-MRI data revealed stronger activation towards spider pictures in high fearful individuals compared to low fearful individuals in numerous areas. Yet, neither average activation, nor support vector machine classification (i.e. a form of MVPA) matched the behavioral results - i.e., a biased response towards ambiguous stimuli - in any of the regions of interest. This may point to limitations of the current design, and to challenges associated with classifying emotional and neutral stimuli in groups that differ in their judgment of emotionality. Improvements for future research are suggested. (shrink)

This article discusses the role of moment-to-moment affect dynamics in mental disorder and aims to integrate recent literature on this topic in the context of complex dynamical system theory. First, we will review the relevance of temporal and contextual aspects of affect dynamics in relation to psychopathology. Related to this, we will discuss recent insights resulting from a network view on affect dynamics in psychopathology. Next, we explore how we can reconcile literature findings from a perspective of complex dynamical system (...) theory. Finally, future directions with regard to personalized assessment of risk and diagnostic use are discussed. (shrink)

Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...) what in German was called “Bildtheorie” or in English “picture theory”. But even before we can properly study its significance we have to know what the theory was, but even this presents problems, since the meaning changed. In fact, this paper is an attempt not only to describe the history of that change from Maxwell to Wittgenstein but to study in particular how Boltzmann’s conception of Bildtheorie seems to have been at least partly incorporated into the approach of Ludwig Wittgenstein. (shrink)

Criteria for the evaluation of most scholars’ work have recently received wider attention due to high-profile cases of scientific misconduct which are perceived to be linked to these criteria. However, in the competition for career advancement and funding opportunities almost all scholars are subjected to the same criteria. Therefore these evaluation criteria act as ‘switchmen’, determining the tracks along which scholarly work is pushed by the dynamic interplay of interests of both scholars and their institutions. Currently one of the most (...) important criteria is the impact of publications. In this research, the extent to which publish or perish, a long standing evaluation criterion, led to scientific misconduct is examined briefly. After this the strive for high impact publications will be examined, firstly by identifying the period in which this became an important evaluation criterion, secondly by looking at variables contributing to the impact of scholarly papers by means of a non-structured literature study, and lastly by combining these data into a quantitative analysis. (shrink)

In a previous issue of Tijdschrift voor Filosofie, Filip Buekens argues that evolutionary psychology (EP), or some interpretations thereof, have a corrosive impact on our ‘manifest self-image’. Buekens wants to defend and protect the global adequacy of this manifest self-image in the face of what he calls evolutionary revisionism. Although we largely agree with Buekens’ central argument, we criticize his analysis on several accounts, making some constructive proposals to strengthen his case. First, Buekens’ argument fails to target EP, because his (...) notion of the ‘constitutive conditions’ of our attitudes is too wide and too extensive. Second, his defense of the global adequacy of our attitudes does not allow for sufficient differentiation to analyze the problem of potential self-refutation with respect to EP. Third, his account of knowledge about constitutive conditions, and its impact on our self-image, is problematic. We provide a more detailed explanation for the pervasiveness of evolutionary revisionism and other misconceptions about EP. Finally, we consider in what sense EP may legitimately affect our self-image, and whether it can truly inspire corrections of our view of human nature. (shrink)

Eighteenth century river hydraulics used both theory and measurement to address problems of flood safety, navigation and defense related to the rivers. In the late eighteenth century the Dutch overseer of the rivers, Christiaan Brunings, integrated hydraulic theory and meteorological practices, which enabled him to design a unique instrument for measuring river flow. The question is whether the unprecedented detail of measurements fits the putative empirical stance in the eighteenth century. The interactions between theory, instrument, measurement, and other knowledge practices (...) are here assessed using experiences in similar measurement practices. I argue that Brunings had theoretical and embodied understanding of hydrodynamics, as he knew how to design an instrument for flow measurement of sufficient accuracy for his purpose in the sociopolitical context of river management. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...) world. My argument may be read as an advertisement of the neglected field of philosophical catoptrics, the philosophical study of the optical properties of mirrors. It enables us to recast familiar issues in the philosophy of perception. (shrink)

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...) criteria. (shrink)

One way to address such questions about artifact kinds is to look for clues in the available literature on parallel questions that have been posed with respect to kinds in the natural domain. Philosophers have long been concerned with the ...

Cicero's political thought is pervaded by analogies of private law that helped him to overcome philosophical difficulties. One serious difficulty was the demand of natural law that property must be owned by the one capable of managing it. This posed a problem to that most remarkable piece of property of all: the res publica. While incapable of managing it, the people was the only theoretically possible owner of the res publica. The legal concept "guardianship" offered a solution. In Cicero's writings (...) the minor, guardian, and object under care demonstrably correspond to the Roman people, the magistrates, and the res publica. (shrink)

While Cusanus’ literary sources for his engagement with Islam have been closely studied, questions about possible personal encounters with Muslims, and the role of non-literary sources in developing his concept of interreligious dialogue, remain largely unaddressed. This paper presents original archival research to identify the only person whom Cusanus mentions in the Cribratio Alkorani by name as an oral source about Muslim beliefs – an Italian merchant active in Constantinople at the time of Cusanus’ visit in 1437. In doing so, (...) it casts new light on Cusanus’ treatises on Islam and on his interaction with Muslims. (shrink)

The concept of the future is re-emerging as an urgent topic on the academic agenda. In this article, we focus on the ‘politics of the future’: the social processes and practices that allow particular imagined futures to become socially performative. Acknowledging that the performativity of such imagined futures is well-understood, we argue that how particular visions come about and why they become performative is underexplained. Drawing on constructivist sociological theory, this article aims to fill this gap by exploring the question (...) ‘how do imagined futures become socially performative’? In doing so, the article has three aims to identify the leading social–theoretical work on the future; conceptualize the relationship of the imagination of the future with social practices and the performance of reality; provide a theoretical framework explaining how images of the future become performative, using the concepts ‘techniques of futuring’ and ‘dramaturgical regime’. (shrink)

For a long time, philosophers of science have expressed little interest in the so-called demarcation project that occupied the pioneers of their field, and most now concur that terms like “pseudoscience” cannot be defined in any meaningful way. However, recent years have witnessed a revival of philosophical interest in demarcation. In this paper, I argue that, though the demarcation problem of old leads to a dead-end, the concept of pseudoscience is not going away anytime soon, and deserves a fresh look. (...) My approach proposes to naturalize and down-size the concept, anchoring it in real-life doctrines and fields of inquiry. First, I argue against the definite article “the” in “the demarcation problem”, distinguishing between territorial and normative demarcation, and between different failures and shortcomings in science apart from pseudoscience. Next, I argue that pseudosciences can be fruitfully regarded as simulacra of science, doctrines that are not epistemically warranted but whose proponents try to create the impression that they are. In this element of imitation or mimicry, I argue, lies the clue to their common identity. Despite the huge variety of doctrines and beliefs gathered under the rubric of “pseudoscience”, and the wide range of defects from which they suffer, pseudosciences all engage in similar strategies to create an impression of epistemic warrant. The indirect, symptomatic approach defended here leads to a general characterization of pseudosciences in all domains of inquiry, and to a useful diagnostic tool. (shrink)

Many people assume that fictional entities are encapsulated in the world of fiction. I show that this cannot be right. Some works of fiction tell us about pieces of poetry, music, or theatre written by fictional characters. Such creations are fictional creations, as I will call them. Their authors do not exist. But that does not take away that we can perform, recite, or otherwise generate actual instances of such works. This means we can bring such individuals actually into existence, (...) as the works they are. I conclude that the assumption about encapsulation is untenable, unless an exception is made for types. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations (...) are closely related in a canonical way. In a preceding paper, Barendregt, Bunder and Dekkers, 1993, we proved completeness of the two direct translations. In the present paper we prove completeness of the two indirect translations by showing that the corresponding illative systems are conservative over the two systems for the direct translations. In another version, DBB (1997), we shall give a more direct completeness proof. These papers fulfill the program of Church and Curry to base logic on a consistent system of $\lambda$ -terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.

In arguing for his theory of pure reflective judgments of taste Kant extensively analyses beauty, but almost wholly disregards ugliness. We commonly take ugliness as paradigmatic when we reflect on our negative aesthetic judgments, and so does Kant. Consequently, there ought to be a more explicit story explaining how Kantian judgments of ugliness are possible. In this paper I argue that a disharmony is the key to understanding Kantian ugliness. This way, an answer to the question of ugliness in Kant (...) can be given in terms of a disharmonious free play of the faculties of imagination and understanding. (shrink)

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

A bracket abstraction algorithm is a means of translating $\lambda$-terms into combinators. Broda and Damas, in [1], introduce a new, rather natural set of combinators and a new form of bracket abstraction which introduces at most one combinator for each $\lambda$-abstraction. This leads to particularly compact combinatory terms. A disadvantage of their abstraction process is that it includes the whole Schonfinkel [4] algorithm plus two mappings which convert the Schonfinkel abstract into the new abstract. This paper shows how the new (...) abstraction can be done more directly, in fact, using only 2n - 1 algorithm steps if there are n occurrences of the variable to be abstracted in the term. Some properties of the Broda-Damas combinators are also considered. (shrink)